1. Hardware and Software: Verification and Testing
پدیدآورنده : / Eran Yahav
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
2. 16, 2011. Proceedings-Static Analysis: 18th International Symposium, SAS 2011, Venice, Italy, September 14
پدیدآورنده : / Kenneth L. McMillan (auth.), Eran Yahav (eds.)
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : ENGINEERING (uncategorised)&COMPUTER SCIENCE
رده :
E-BOOK
3. Static Analysis
پدیدآورنده : / Eran Yahav
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
4. Static analysis :
پدیدآورنده : Eran Yahav (edition)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer programming, Congresses,Programming languages (Electronic computers), Congresses
رده :
QA76
.
6
